from pigspecs import pigspec
from veri.utils import Checker
from veri.prop import PropBuilder

# chk = Checker()
# net=chk.toNet(pigspec)
# chk.checkAll(pigspec)
   
prop1 = "active(r1,1,1)"
prop2 = "? ?k ? ?x shared(r1;r2)"
   
bld = PropBuilder()
bld.translate(prop2, pigspec, 'pred.py')
